Hird, G.R., Recursive properties of relations on models, Annals of Pure and Applied Logic 63 241–269. We prove general existence theorems for recursive models on which various relations have specified recursive properties. These capture common features of results in the literature for particular algebraic structures. For a useful class of models with new relations R, S, where S is r.e., we characterize those for which there is a recursive model isomorphic to on which the relation corresponding to S remains (...) r.e., while that corresponding to R is not r.e.; immune; hyperimmune. The results are applied to vector spaces, Boolean algebras and abelian groups. In the case of vector spaces, this leads to a new kind supermaximal subspace of V∞. (shrink)

We conducted a survey of residents of Kingston, Ontario, Canada, (n = 107) to understand their attitudes to and experiences of waste management and governance. Currently, the municipality is emphasising waste diversion and exploring new waste processing systems (WPS; e.g., incineration) to reduce costs. Using Foucault's governmentality theory, our data suggest Kingston's reliance on an attitude-behaviour-context model of behaviour change successfully fosters an environmental citizenship identity based on waste diversion (e.g., recycling). However, we argue that the neoliberal governmentality upon which (...) the attitude-behaviour-context model is predicated elides the need for, and inhibits consideration of, broader societal change concerning urgent environmental issues involving consumption and waste. (shrink)

This full-length study of Plato's dialogue Phaedrus, now in paperback, is written in the belief that such concerted scrutiny of a single dialogue is an important part of the project of understanding Plato so far as possible 'from the inside' - of gaining a feel for the man's philosophy. The focus of this account is on how the resources both of persuasive myth and of formal argument, for all that Plato sets them in strong contrast, nevertheless complement and reinforce each (...) other in his philosophy. Not only is the dialogue in its formal structure a dovetail of myth and argument, but the philosophic life that it praises is also shaped by an acknowledgement of the limitations of argument and the importance of mythical understanding. By means of this correlation of form and content Plato invites his readers, through the very act of reading, to take a first step along the path of the philosophical life. (shrink)

Is rationality a well-defined human universal such that ideas and behaviour can everywhere be judged by a single set of criteria? Or are the rational and the irrational simply cultural constructs? This study provides an alternative to both options. The universalist thesis underestimates the variety found in sound human reasonings exemplified across time and space and often displays a marked Eurocentric bias. The extreme relativist faces the danger of concluding that we are all locked into mutually unintelligible universes. These problems (...) are worse when certain concepts, often inherited from ancient Greek thought, especially binaries such as nature and culture, or the literal and the metaphorical, are not examined critically. Drawing on a variety of disciplines, from philosophy to cognitive science, this book explores what both ancient societies and modern ones can teach us concerning the heterogeneity of what can be called rational. (shrink)

I agree with Paul Lewis that mathematics has a valuable but not all-encompassing role in economics, that event regularities must be supplemented with a persuasive narrative, and that inferences can inform our understanding of economic behavior. However, Lewis's full-throated defense of critical realism does little to allay my original concerns. It is absurd to maintain, as critical realists do, that mainstream economics has nothing valuable to offer heterodox economists, as their critique of the quantity theory of money tries to demonstrate. (...) More crucially, critical realists—unlike Austrian economists—neglect to provide an epistemological explanation of economic actors’ perceptions, which is necessary if we are to bridge critical realism's own division of the social world into the “actual,” “empirical,” and “non-actual real.”. (shrink)

The paper addresses the use of heterogeneous ensembles of intelligent unmanned vehicles in such a perspective field of innovations as an unmanned fishery. The issues of joint activity of unmanned vehicles of different types in fishing operations based on intelligent technologies are investigated. The “smart fishing” approach based on the joint fishing operation model is proposed. The operational framework that includes missions, roles, and activity scenarios embedded in the discretized spatial model is presented. The scenario activities are considered as the (...) sequences of pentad that determine executing specific functions concerning the specified waypoint, timepoints, and the states of vehicles. The definition of the plan as the scenario prototype that needs adjusting to the conditions of the situational context is proposed. The coordination problem regarding the joint activities of the unmanned vehicles and their scenarios is defined and the coordination framework based on the distributed common board model and coordination primitives is presented. The prototype of the intelligent scenario-based system including the implementation of both operational and coordination frameworks developed for the control of unmanned vehicles is described. This system makes unmanned vehicles capable to absorb all the latest advances in intelligent technologies to perform smart fishing operations jointly in a large heterogeneous group. The proposed approach to smart fishing using intelligent technologies makes it possible to detach fishermen from the fishing activities dangerous to their life and health, to reduce significantly poaching and illegal fishing, to increase the overall efficiency of fishing operations, and even to save the marine ecosystem. (shrink)